`timescale 1ns/1ps
module RedLED_tb();

endmodule
